Fix 64-bit build. xc_ptrace() is still broken for x86/64 however.

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/tools/libxc/xc_ptrace.c b/tools/libxc/xc_ptrace.c
index d1a6525af30719d3afed03072a4047a694d39e26..b675adc641166cd999cc095e6cce2c22310f0559 100644 (file)
--- a/tools/libxc/xc_ptrace.c
+++ b/tools/libxc/xc_ptrace.c
@@ -320,7 +320,7 @@ map_domain_va_64(
     if (l1e & 0x80)  { /* 2M pages */
         p = to_ma(cpu, (l1p + l1_table_offset(va)) << PAGE_SHIFT);
     } else { /* 4K pages */
-        l1p = to_ma(cpu, l1e[l1_table_offset(va)]);
+        //l1p = to_ma(cpu, l1e[l1_table_offset(va)]);
         l1 = xc_map_foreign_range(xc_handle, current_domid, PAGE_SIZE, perm, l1p >> PAGE_SHIFT);
         munmap(l2, PAGE_SIZE);
         if ( l1 == NULL )